1

The intermediate value theorem in constructive mathematics without choice

Year:
2012
Language:
english
File:
PDF, 260 KB
english, 2012
3

Constructing the minimal period of homomorphisms into

Year:
2012
Language:
english
File:
PDF, 185 KB
english, 2012
5

Continuous homomorphisms of R onto a compact group

Year:
2010
Language:
english
File:
PDF, 111 KB
english, 2010
6

Continuous isomorphisms from R onto a complete abelian group

Year:
2010
Language:
english
File:
PDF, 982 KB
english, 2010
7

Bishop's Lemma

Year:
2018
Language:
english
File:
PDF, 264 KB
english, 2018
9

The computational content of Walras’ existence theorem

Year:
2011
Language:
english
File:
PDF, 183 KB
english, 2011